Generating Boolean SAT based Test Pattern Generation using Multi-objective Genetic Algorithm
نویسندگان
چکیده
منابع مشابه
Generating Test Patterns for Fpgas Using Multi-objective Genetic Algorithm
This paper presents a brief introduction to multi-objective genetic algorithms and FPGAs[4][8]. In this paper we have discussed that how test pattern generation method can be formulated in terms of CNF form [16]and this CNF form can be used to generate test patterns using genetic algorithm[20] We have proposed that by applying a multi-objective genetic algorithm on this CNF form we can increase...
متن کاملMTCPA: Multi-Objective Test Case Prioritization Algorithm Using Genetic Algorithm
The main objective of regression testing is to test the modified software during maintenance phase of Software Development Life Cycle. An easiest strategy to regression testing is to retest all test cases in a test suite, but due to limitation of resources and time constraint, it is not efficient to implement. Test case prioritization technique increases the effectiveness of regression testing ...
متن کاملSAT-based Automatic Test Pattern Generation
Due to the rapidly growing size of integrated circuits, there is a need for new algorithms for Automatic Test Pattern Generation (ATPG). While classical algorithms reach their limit, there have been recent advances in algorithms to solve Boolean Satisfiability (SAT). Because Boolean SAT solvers are working on Conjunctive Normal Forms (CNF), the problem has to be transformed. During transformati...
متن کاملTest pattern generation using Boolean satisfiability
This article describes the Boolean satisfiability method for generating test patterns for single stuck-at faults in combinational circuits. This new method generates test patterns in two steps: First, it constructs a formula expressing the Boolean diference between the unfaulted and faulted circuits. Second, it applies a Boolean satisjiability algorithm to the resulting formula. This approach d...
متن کاملTest Pattern Generation Using Boolean Satis ability
This article describes the Boolean satis ability method for generating test patterns for single stuck at faults in combinational circuits This new method generates test patterns in two steps First it constructs a formula expressing the Boolean di erence between the unfaulted and faulted circuits Second it applies a Boolean satis ability algorithm to the resulting formula This approach di ers fr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2010
ISSN: 0975-8887
DOI: 10.5120/1099-1438